منابع مشابه
Estimating Uncaught Exceptions in Standard ML Programs from Type-Based Equations
We present a static analysis that detects potential runtime exceptions that are raised and never handled inside Standard ML (SML) programs. Contrary to our earlier method Yi94] (based on abstract interpretation CC77]) where the input pro-gram's control ow is simultaneously computed while our exception analysis progresses, we separate the two phases in a manner similar to conventional data ow an...
متن کاملCompile-time Detection of Uncaught Exceptions in Standard ML Programs
We present a static analysis that detects potential runtime exceptions that are raised and never handled inside Standard ML programs. This analysis enhances the software safety by predicting, prior to the program execution, the abnormal termination caused by unhandled exceptions. Our analysis prototype has been implemented by using a semantics-based analyzer generator and has been successfully ...
متن کاملTowards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs
We present a static analysis that detects potential runtime exceptions that are raised and never handled inside Standard ML (SML) programs. This analysis will predict abrupt termination of SML programs , which is SML's only one \safety hole." Even though SML program's control ow and exception ow are in general mutually dependent, analyzing the two ows are safely decoupled. Program's control-ow ...
متن کاملA cost-effective estimation of uncaught exceptions in Standard ML programs
We present a static analysis that detects potential runtime exceptions that are raised and never handled inside Standard ML (SML) programs. This analysis will predict abrupt termination of SML programs, which is SMLs only one “safety hole”. Even though SML program’s control 4ow and exception 4ow are in general mutually dependent, analyzing the two 4ows are safely decoupled. Program’s control 4o...
متن کاملAn Abstract Interpretation for Estimating Uncaught Exceptions in Standard ML Programs
We present a static analysis that detects potential runtime exceptions that are raised and never handled inside Standard ML (SML) programs. This analysis enhances the software safety by predicting, prior to the program execution, the abnormal termination caused by unhandled exceptions. The analysis is speci ed as a nite, abstract semantics of an intermediate language. The intermediate language,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 2000
ISSN: 0164-0925,1558-4593
DOI: 10.1145/349214.349230